package river_city_ransom.services;

import exceptions.ComposantError;


public interface Gangster extends Personnage {
	/** ________________________________________________________ CONSTRUCTORS */
//	pre init(n, d, f, pv) require n != "" ^ d != NULL ^ f > 0 ^ pv > 0
//	post nom(init(n, d, f, pv)) = n
//	post dimensions(init(n, d, f, pv)) = d
//	estPorte(init(n, d, f, pv)) = false
//	estJete(init(n, d, f, pv)) = 0
//	post force(init(n, d, f, pv)) = f
//	post maxPointsDeVie(init(n, d, f, pv)) = pv
//	post pointsDeVie(init(n, d, f, pv)) = pv
//	post choseEquipee(init(n, d, f, pv)) = NULL
//	post position(init(n, d, f, pv)) = Position::init(0, 0, 0)
//	post versLaDroite(init(n, d, f, pv)) = false
//	post estGele(init(n, d, f, pv)) = 0
	public void init(String n, Dimensions d, int f, int pv) throws ComposantError;
}
